package prolog.terms;

/**
  Special constant terminating a list
*/
class Nil(val s: String) extends Const(s) {
   def this() =  this("[]")
} 
